paving (an area) of stones